Nuprl Definition : zero_ideal
13,42
postcript
pdf
(0
r
)(
u
) ==
u
= 0
latex
clarification:
(0
r
)(
u
) ==
u
= (0
r
)
|
r
|
latex
Up
rings
1
Wellformedness Lemmas
zero
ideal
wf
Definitions
x
.
A
(
x
)
,
s
=
t
,
|
r
|
,
0
origin
|r| |r| 
x.A(x)